An investigation of what Frege means by his doctrine that functions (and so concepts) are 'unsaturated'. We argue that this doctrine is far less peculiar than it is usually taken to be. What makes it hard to understand, oddly enough, is the fact that it is so deeply embedded in our contemporary understanding of logic and language. To see this, we look at how it emerges out of Frege's confrontation with the Booleans and how it expresses a fundamental difference between (...) Frege's approach to logic and theirs. (shrink)

A reply to two responses to an earlier paper, "A Liar Paradox".

Hartry Field has suggested that we should adopt at least a methodological deflationism: [W]e should assume full-fledged deflationism as a working hypothesis. That way, if full-fledged deflationism should turn out to be inadequate, we will at least have a clearer sense than we now have of just where it is that inflationist assumptions ... are needed. I argue here that we do not need to be methodological deflationists. More pre-cisely, I argue that we have no need for a disquotational truth-predicate; (...) that the word true, in ordinary language, is not a disquotational truth-predicate; and that it is not at all clear that it is even possible to introduce a disquotational truth-predicate into ordinary language. If so, then we have no clear sense how it is even possible to be a methodological deflationist. My goal here is not to convince a committed deflationist to abandon his or her position. My goal, rather, is to argue, contrary to what many seem to think, that reflection on the apparently trivial character of T-sentences should not incline us to deflationism. (shrink)

Some years ago, Machery, Mallon, Nichols, and Stich reported the results of experiments that reveal, they claim, cross-cultural differences in speaker’s ‘intuitions’ about Kripke’s famous Gödel–Schmidt case. Several authors have suggested, however, that the question they asked their subjects is ambiguous between speaker’s reference and semantic reference. Machery and colleagues have since made a number of replies. It is argued here that these are ineffective. The larger lesson, however, concerns the role that first-order philosophy should, and more importantly should not, (...) play in the design of such experiments and in the evaluation of their results. (shrink)

The purpose of this note is to present a strong form of the liar paradox. It is strong because the logical resources needed to generate the paradox are weak, in each of two senses. First, few expressive resources required: conjunction, negation, and identity. In particular, this form of the liar does not need to make any use of the conditional. Second, few inferential resources are required. These are: (i) conjunction introduction; (ii) substitution of identicals; and (iii) the inference: From ¬(p (...) ∧ p), infer ¬ p. It is, interestingly enough, also essential to the argument that the ‘strong’ form of the diagonal lemma be used: the one that delivers a term λ such that we can prove: λ = ¬ T(⌈λ⌉); rather than just a sentence Λ for which we can prove: Λ ≡ ¬T(⌈Λ⌉). The truth-theoretic principles used to generate the paradox are these: ¬(S ∧ T(⌈¬S⌉); and ¬(¬S ∧ ¬T(⌈¬S⌉). These are classically equivalent to the two directions of the T-scheme, but they are intuitively weaker. The lesson I would like to draw is: There can be no consistent solution to the Liar paradox that does not involve abandoning truth-theoretic principles that should be every bit as dear to our hearts as the T-scheme. So we shall have to learn to live with the Liar, one way or another. (shrink)

The paper argues, as against Thau and Caplan, that the traditional interpretation that Frege abandoned his earlier views about identity and identity--statements is correct.

Maybe the most important argument in David Chalmers’s monumental book Constructing the World is the one he calls the ‘Frontloading Argument’, which is used in Chapter 4 to argue for the book’s central thesis, A Priori Scrutability. And, at first blush, the Frontloading Argument looks very strong. I argue here, however, that it is incapable of securing the conclusion it is meant to establish.

The main focus of my comments is the role played in Dickie's view by the idea that "the mind has a need to represent things outside itself". But there are also some remarks about her (very interesting) suggestion that descriptive names can sometimes fail to refer to the object that satisfies the associated description.

The 'substitution argument' purports to demonstrate the falsity of Russellian accounts of belief-ascription by observing that, e.g., these two sentences: (LC) Lois believes that Clark can fly. (LS) Lois believes that Superman can fly. could have different truth-values. But what is the basis for that claim? It seems widely to be supposed, especially by Russellians, that it is simply an 'intuition', one that could then be 'explained away'. And this supposition plays an especially important role in Jennifer Saul's defense of (...) Russellianism, based upon the existence of an allegedly similar contrast between these two sentences: (PC) Superman is more popular than Clark. (PS) Superman is more popular than Superman. The latter contrast looks pragmatic. But then, Saul asks, why shouldn't we then say the same about the former? The answer to this question is that the two cases simply are not similar. In the case of (PC) and (PS), we have only the facts that these strike us differently, and that people will sometimes say things like (PC), whereas they will never say things like (PS). By contrast, there is an argument to be given that (LS) can be true even if (LC) is false, and this argument does not appeal to anyone's 'intuitions'. The main goal of the paper is to present such a version of the substitution argument, building upon the treatment of the Fregan argument against Russellian accounts of belief itself in "Solving Frege's Puzzle". A subsidiary goal is to contribute to the growing literature arguing that 'intuitions' simply do not play the sort of role in philosophical inquiry that so-called 'experimental philosophers' have supposed they do. (shrink)

In his paper “Flaws of Formal Relationism”, Mahrad Almotahari argues against the sort of response to Frege's Puzzle I have defended elsewhere, which he dubs ‘Formal Relationism’. Almotahari argues that, because of its specifically formal character, this view is vulnerable to objections that cannot be raised against the otherwise similar Semantic Relationism due to Kit Fine. I argue in response that Formal Relationism has neither of the flaws Almotahari claims to identify.

Why should one think Frege's definition of the ancestral correct? It can be proven to be extensionally correct, but the argument uses arithmetical induction, and that seems to undermine Frege's claim to have justified induction in purely logical terms. I discuss such circularity objections and then offer a new definition of the ancestral intended to be intensionally correct; its extensional correctness then follows without proof. This new definition can be proven equivalent to Frege's without any use of arithmetical induction. This (...) proves, without any use of arithmetical induction, that Frege's definition is extensionally correct and so answers the circularity objections. (shrink)

A close look at Frege's proof in "Foundations of Arithmetic" that every number has a successor. The examination reveals a surprising gap in the proof, one that Frege would later fill in "Basic Laws of Arithmetic".

The question of the cognitive role of fictionality is this: what is the correct cognitive attitude to take to p, when it is fictional that p? We began by considering one answer to this question, implicit in the work of Kendall Walton, that the correct response to a fictional proposition is to imagine that proposition. However, this approach is silent in cases of fictional incompleteness, where neither p nor its negation are fictional. We argue that that Waltonians should embrace a (...) pluralistic account of the cognitive role of fictional incompleteness: in some cases of fictional incompleteness, we are permitted to resolve the incompleteness during our engagement with the target fiction, and in other cases, we are obliged not to resolve the incompleteness. But though pluralism is accommodated by Walton’s wider account of fictionality, it puts tension on his motivating idea that fictionality stands to the imagination as truth stands to belief. And so we develop a rival conception of the cognitive role of fictionality that is built around a different analogy: on this evidentialist approach, (known) fictionality stands to the imagination as evidence stands to credence. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

While it seems to be evident that the vision of the eternal return of the same is the solution to the riddle mentioned in "On the vision and the riddle," exactly what constitutes the riddle is anything but clear. Li ke all good riddles the solution demands a paradigm shift. Nietzsche's riddle is solved by a radical rethinking of the concept of time, from a straight line to a circle. I give a detailed account of how Nietzsche's riddle is formulated (...) in such a way tha t the eternal return of the same is the only possible solution. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...) number of truth values, and it is shown that this bound is tight. (shrink)

A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems.

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (shrink)

It is proposed that our memory is made up of individual, unconnected Records, to each of which is attached a Heading. Retrieval of a Record can only be accomplished by addressing the attached Heading, the contents of which cannot itself be retrieved. Each Heading is made up of a mixture of content in more or less literal form and context, the latter including specification of environment and of internal states (e.g. drug states and mood). This view of memory allows an (...) easy account of a number of natural memory phenomena as well as a variety of laboratory findings such as the differences between recall and recognition. The theory further proposes that Headed Records can neither be deleted nor modified. Data apparently against such a hypothesis can be accounted for in terms of the retrieval process. (shrink)

The Cell Ontology (CL) is designed to provide a standardized representation of cell types for data annotation. Currently, the CL employs multiple is_a relations, defining cell types in terms of histological, functional, and lineage properties, and the majority of definitions are written with sufficient generality to hold across multiple species. This approach limits the CL’s utility for cross-species data integration. To address this problem, we developed a method for the ontological representation of cells and applied this method to develop a (...) dendritic cell ontology (DC-CL). DC-CL subtypes are delineated on the basis of surface protein expression, systematically including both species-general and species-specific types and optimizing DC-CL for the analysis of flow cytometry data. This approach brings benefits in the form of increased accuracy, support for reasoning, and interoperability with other ontology resources. 104. Barry Smith, “Toward a Realistic Science of Environments”, Ecological Psychology, 2009, 21 (2), April-June, 121-130. Abstract: The perceptual psychologist J. J. Gibson embraces a radically externalistic view of mind and action. We have, for Gibson, not a Cartesian mind or soul, with its interior theater of contents and the consequent problem of explaining how this mind or soul and its psychological environment can succeed in grasping physical objects external to itself. Rather, we have a perceiving, acting organism, whose perceptions and actions are always already tuned to the parts and moments, the things and surfaces, of its external environment. We describe how on this basis Gibson sought to develop a realist science of environments which will be ‘consistent with physics, mechanics, optics, acoustics, and chemistry’. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease Ontology (...) (IDO) Core, which provides terminological content common to investigations of all infectious diseases. We report here on the development of an IDO extension, the Virus Infectious Disease Ontology (VIDO), a reference ontology covering viral infectious diseases. We motivate term and definition choices, showcase reuse of terms from existing OBO ontologies, illustrate how ontological decisions were motivated by relevant life science research, and connect VIDO to the Coronavirus Infectious Disease Ontology (CIDO). We next use terms from these ontologies to annotate selections from life science research on SARS-CoV-2, highlighting how ontologies employing a common upper-level vocabulary may be seamlessly interwoven. Finally, we outline future work, including bacteria and fungus infectious disease reference ontologies currently under development, then cite uses of VIDO and CIDO in host-pathogen data analytics, electronic health record annotation, and ontology conflict-resolution projects. (shrink)

G. W. F. Hegel (1770–1831) has commonly been seen as Europe’s leading philosopher since Kant. His influence extended across the globe down to the Second World War – not least through his dissident disciple, Karl Marx. Since then, despite intermittent revivals, his importance has tended to be eclipsed by a rising tide of anti-modernist polemic, extending from Heidegger to postmodernism. Central to Hegel’s political thought was his view of the French Revolution. But notwithstanding its pivotal role in the development of (...) his ideas, his reaction to that event has been systematically misconstrued. In presenting a more faithful account of Hegel’s interpretation of his own era, the argument presented here places his response to contemporary developments in the context of a series of World Revolutions which framed the meaning of his age. This approach serves to illustrate the unique combination of historical and philosophical reasoning on which Hegel’s thought depended. In the process, reconstructing his arguments raises challenging questions about the applicability of bygone political ideas to later historical periods. (shrink)

Critics have often misunderstood the higher-order theory (HOT) of consciousness. Here we clarify its position on several issues, and distinguish it from other views such as the global The higher-order theory (HOT) of consciousness has often been misunderstood by critics. Here we clarify its position on several issues, and distinguish it from other views such as the global workspace theory (GWT) and early sensory models (e.g. first-order local recurrency theories). For example, HOT has been criticized for over-intellectualizing consciousness. We show (...) that while higher-order states are cognitively assembled, the requirements are actually considerably less than often presumed. In this sense HOT may be viewed as an intermediate position between GWT and early sensory views. Also, we clarify that most proponents of HOT do not stipulate consciousness as equivalent to metacognition or confidence. Further, compared to other existing theories, HOT can arguably account better for complex everyday experiences, such as of emotions and episodic memories. This makes HOT particularly useful as a framework for conceptualizing pathological mental states. (shrink)

The effort of Fichte’s Foundations of the Entire Science of Knowledge is to ground the whole of the science in so called principles. This aim is a specific expression of the project of self-assurance of human being characterizing the important movement of modern metaphysics. The movement towards self-assurance even culminates here: it gets a form of showing human being as an entity founding itself and in totality with itself the whole of actuality. The foundation of science is therefore in this (...) Fichte’s work completely subordinated to the project of explicit self-constitution of human being based in practical-theoretical mastering of consciousness of its own ontological-ontical priority. (shrink)

There is too much that we do not know about COVID-19. The longer we take to find it out, the more lives will be lost. In this paper, we will defend a principle of risk parity: if it is permissible to expose some members of society (e.g. health workers or the economically vulnerable) to a certain level of ex ante risk in order to minimize overall harm from the virus, then it is permissible to expose fully informed volunteers to a (...) comparable level of risk in the context of promising research into the virus. We apply this principle to three examples of risky research: skipping animal trials for promising treatments, human challenge trials to speed up vaccine development, and low-dose controlled infection or “variolation.” We conclude that if volunteers, fully informed about the risks, are willing to help fight the pandemic by aiding promising research, there are strong moral reasons to gratefully accept their help. To refuse it would implicitly subject others to still graver risks. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Right- and wrong-making features ("moral grounds") are widely believed to play important normative roles, e.g. in morally apt or virtuous motivation. This paper argues that moral grounds have been systematically misidentified. Canonical statements of our moral theories tend to summarize, rather than directly state, the full range of moral grounds posited by the theory. Further work is required to "unpack" a theory's criterion of rightness and identify the features that are of ground-level moral significance. As a result, it is not (...) actually true that maximizing value is the relevant right-making feature even for maximizing consequentialists. Focusing on the simple example of utilitarianism, I show how careful attention to the ground level can drastically influence how we think about our moral theories. (shrink)

I argue that Berkeley's distinctive idealism/immaterialism can't support his view that objects of sense, immediately or mediately perceived, are causally inert. (The Passivity of Ideas thesis or PI) Neither appeal to ordinary perception, nor traditional arguments, for example, that causal connections are necessary, and we can't perceive such connections, are helpful. More likely it is theological concerns,e.g., how to have second causes if God upholds by continuously creating the world, that's in the background. This puts Berkeley closer to Malebranche than (...) to Hume. -/- As far the what I call the "first strategy;" defending the passivity of ideas by ordinary introspection, I refer to the work of the French psychologist Albert Michotte,(1940) and those now extending his experiments, to show that (1) there is an immediate and quite robust visual impression of causality, (admitted in fact by Berkeley, Malebranche and Hume) and (2) of more importance, the impression isn't due to projecting into nature expectations gained from experienced regularities. (shrink)

It is common for religiously motivated actions to be specially protected by law. Many legal theorists have asked why: what makes religion special? What makes it worthy of toleration over and above other non-religious deeply held convictions? The answer I put forward is that religions’ alleged afterlife consequences call for a principle of toleration that warrants special legal treatment. Under a Rawlsian principle of toleration, it is reasonable for those in the original position to opt for principles of justice that (...) accommodate actions with alleged afterlife consequences. And, under a utilitarian principle of toleration, a greater psychological harm is eased by such accommodations. Additionally, this alleged afterlife consequence is found in most of the religions that are thought to warrant some level of special toleration—not only do the Abrahamic religions have alleged afterlife consequences, but many eastern religions do as well, e.g. reincarnation. (shrink)

Progress may be made in resolving the tension between free will and determinism by analysis of the necessary conditions of freedom. It is of the essence that these conditions include causal and deterministic regularities. Furthermore, the human expression of free will is informed by understanding some of those regularities, and increments in that understanding have served to enhance freedom. When the possible character of a deterministic system based on physical theory is considered, it is judged that, far from implying the (...) elimination of human freedom, such a theory might simply set parameters for it; indeed knowledge of that system could again prove to be in some respects liberating. On the other hand, it is of the essence that the overarching biological framework is not a deterministic system and it foregrounds the behavioural flexibility of humans in being able to choose within a range of options and react to chance occurrences. Furthermore, an issue for determinism flows from the way in which randomness (e.g. using a true random number generator) and chance events could and do enter human life. Once the implications of that issue are fully understood, other elements fit comfortably together in our understanding of freely undertaken action: the contribution of reasons and causes; the fact that reasons are never sufficient to account for outcomes; the rationale for the attribution of praise and blame. (shrink)

Th e recent revival of Berkeley studies in the last three decades or so make it interesting to look back at George Santayana’s discussion of Berkeley. Th ough Santayana understood the latter’s arguments for immaterialism, he claimed no one could both seriously accept immaterialism, and live, as Berkeley certainly did, an embodied life. As he writes of Berkeley, “Th is idealist was no hermit” (205). Santayana claimed that without matter there was nothing (“no machinery”) for the soul to work on. (...) For a soul (mind) the machinery consists of material objects including one’s body. In this, paper, aft er some introductory comments, particularly on some aspects of early modern philosophy, e.g. the theory of ideas, which Berkeley largely accepts, and the metaphysics of indirect realism which he rejects, I look at the issue of human embodiment, and conclude, although Santayana perhaps misread important aspects of Berkeley’s discussion, he is largely correct in noting that Berkeley’s idealism/immaterialism can’t capture the special relation we have to our bodies. (shrink)

The Warner Books back cover proclaims: In the tradition of Oliver Sachʼs [sic] bestselling *The Man Who Mistook His Wife for a Hat...* The manner and misspellingsignify that Cytowic himself had nothing to do with such publishing hucksterism. However, one thing is clear upon reading this book: Richard Cytowic, M.D., is no Oliver Sacks. Though, as will be seen, there is much in here to recommend itself, his stilted reproduction of conversations which or may not have taken place and (...) his CreativeFiction 100 characterizations (i.e., Dr. Wood's continual inhalation of smoke or food) strike the experienced reader as painfully contrived, as though Cytowic were doing hislevel best to imitate Sacks and reach that always-elusive wider audience. (shrink)

Freud, kendini Kopernik ve Darwin’in de dahil olduğu merkezsizleştirici düşünce hareketi içinde görmekteydi. Ünlü bir pasajında, psikanalizin, “egoya kendi evinin bile efendisi olmadığını, ancak aklında, bilinçten uzak bir biçimde olup bitenlerin kıt bilgisi ile yetinmesi gerektiğini kanıtlamaya çabaladığını” söyler. Kendimizin önemli olduğu hissi veya özdenetim duygumuz, gerçekten kendimize karşı şeffaf olduğumuz inancına mı dayanmaktadır? Bilinç dışının keşfi neden arzularımızın keşfine değersizlik eklemek zorundadır?Freud thought of himself as part of the same “decentering” movement of thought to which Copernicus and Darwin belonged. (...) In a famous passage, he says that psychoanalysis “seeks to prove to the ego that it is not even master in its own house, but must content itself with scanty information of what is going on unconsciously in its mind.” Does our sense of our importance, or our capacity for self-control, really depend on the belief that we are transparent to ourselves? Why should the discovery of the unconscious add humiliation to the discovery of the passions? (shrink)

Hermann Cohen made a distinction between the logic of science and the ideal of ethics, and noted that the natural world and the world of ethics are perceived very differently. This is because the order of the physical world is unchangeable (e.g, the sun sets in the west, night follows day, etc), while in the ideal world ethical rules can be accepted or rejected. It seems there should be one explanation for science, which is empirically self-evident, and another for ethics, (...) which is something that is open to debate. Cohen reasoned there must be something that allows science and ethics to coexist and interrelate. (shrink)

Deontological evidentialism is the claim that we ought to form and maintain our beliefs in accordance with our evidence. In this paper, I criticize two arguments in its defense. I begin by discussing Berit Broogard’s use of the distinction between narrow-scope and wide-scope requirements against W.K. Clifford’s moral defense of. I then use this very distinction against a defense of inspired by Stephen Grimm’s more recent claims about the moral source of epistemic normativity. I use this distinction once again to (...) argue that Hilary Kornblith’s criticism of Richard Feldman’s defense of is incomplete. Finally, I argue that Feldman’s defense is insensitive to the relation between normative requirements and privileged values: values that have normative authority over us. (shrink)

Abstract. Richard Feldman’s Uniqueness Thesis holds that “a body of evidence justifies at most one proposition out of a competing set of proposi- tions”. The opposing position, permissivism, allows distinct rational agents to adopt differing attitudes towards a proposition given the same body of evidence. We assess various motivations that have been offered for Uniqueness, including: concerns about achieving consensus, a strong form of evidentialism, worries about epistemically arbitrary influences on belief, a focus on truth-conduciveness, and consequences for peer (...) disagreement. We argue that each of these motivations either misunderstands the commitments of permissivism or is question-begging. Better understanding permissivism makes it a much more plausible position. (shrink)

It is commonly thought that such topics as Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason are disparate scientific physical or mathematical issues having little or nothing in common. I suggest that they are largely standard philosophical problems (i.e., language games) which were resolved by Wittgenstein over 80 years ago. -/- Wittgenstein also demonstrated the fatal error in regarding mathematics or language or our behavior in general as a unitary coherent logical ‘system,’ rather than as (...) a motley of pieces assembled by the random processes of natural selection. “Gödel shows us an unclarity in the concept of ‘mathematics’, which is indicated by the fact that mathematics is taken to be a system” and we can say (contra nearly everyone) that is all that Gödel and Chaitin show. Wittgenstein commented many times that ‘truth’ in math means axioms or the theorems derived from axioms, and ‘false’ means that one made a mistake in using the definitions, and this is utterly different from empirical matters where one applies a test. Wittgenstein often noted that to be acceptable as mathematics in the usual sense, it must be useable in other proofs and it must have real world applications, but neither is the case with Godel’s Incompleteness. Since it cannot be proved in a consistent system (here Peano Arithmetic but a much wider arena for Chaitin), it cannot be used in proofs and, unlike all the ‘rest’ of PA it cannot be used in the real world either. As Rodych notes “…Wittgenstein holds that a formal calculus is only a mathematical calculus (i.e., a mathematical language-game) if it has an extra- systemic application in a system of contingent propositions (e.g., in ordinary counting and measuring or in physics) …” Another way to say this is that one needs a warrant to apply our normal use of words like ‘proof’, ‘proposition’, ‘true’, ‘incomplete’, ‘number’, and ‘mathematics’ to a result in the tangle of games created with ‘numbers’ and ‘plus’ and ‘minus’ signs etc., and with -/- ‘Incompleteness’ this warrant is lacking. Rodych sums it up admirably. “On Wittgenstein’s account, there is no such thing as an incomplete mathematical calculus because ‘in mathematics, everything is algorithm [and syntax] and nothing is meaning [semantics]…” -/- I make some brief remarks which note the similarities of these ‘mathematical’ issues to economics, physics, game theory, and decision theory. -/- Those wishing further comments on philosophy and science from a Wittgensteinian two systems of thought viewpoint may consult my other writings -- Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle 2nd ed (2019), Suicide by Democracy 4th ed (2019), The Logical Structure of Human Behavior (2019), The Logical Structure of Consciousness (2019, Understanding the Connections between Science, Philosophy, Psychology, Religion, Politics, and Economics and Suicidal Utopian Delusions in the 21st Century 5th ed (2019), Remarks on Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason in Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych, Berto, Floyd, Moyal-Sharrock and Yanofsky (2019), and The Logical Structure of Philosophy, Psychology, Sociology, Anthropology, Religion, Politics, Economics, Literature and History (2019). (shrink)

Philosophical questions about minds and computation need to focus squarely on the mathematical theory of Turing machines (TM's). Surrogate TM's such as computers or formal systems lack abilities that make Turing machines promising candidates for possessors of minds. Computers are only universal Turing machines (UTM's)—a conspicuous but unrepresentative subclass of TM. Formal systems are only static TM's, which do not receive inputs from external sources. The theory of TM computation clearly exposes the failings of two prominent critiques, Searle's Chinese room (...) (1980) and arguments from Gödel's Incompleteness theorems (e.g., Lucas, 1961; Penrose, 1989), both of which fall short of addressing the complete TM model. Both UTM-computers and formal systems provide an unsound basis for debate. In particular, their special natures easily foster the misconception that computation entails intrinsically meaningless symbol manipulation. This common view is incorrect with respect to full-fledged TM's, which can process inputs non-formally, i.e., in a subjective and dynamically evolving fashion. To avoid a distorted understanding of the theory of computation, philosophical judgments and discussions should be grounded firmly upon the complete Turing machine model, the proper model for real computers. (shrink)

Propositional logics in general, considered as a set of sentences, can be undecidable even if they have “nice” representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple—at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in various ways can (...) be approximated by finite-valued logics. It is shown that the minimal m-valued logic for which a given calculus is strongly sound can be calculated. It is also investigated under which conditions propositional logics can be characterized as the intersection of (effectively given) sequences of finite-valued logics. (shrink)

All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.

It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' temporal (...) logic of linear discrete time with gaps follows. (shrink)

E 'sia sorprendente e appropriato che questo enorme, gergo-carico (questo libro ha davvero bisogno di un glossario!), lavoro pesantemente accademico è diventato un best seller nel mondo degli istruiti. Bisogna dedicarsi a imparare il gergo e poi ad arare attraverso 551 pagine di testo e 238 pagine di note. Meanwhile, ci viene detto più e più volte che questo è solo un contorno di ciò che verrà! Anche se critica severamente gli eccessi dei tre movimenti, si tratta di un'interpretazione mistica (...) e postmoderna decostruttiva e New Age della religione, della filosofia e delle scienze comportamentali da un punto di vista molto liberale e spirituale, cioè senza il peggior decon, pm e Vietnam gergo, egualitarismo rabbioso e anti-intellettualismo. Si ottiene un fantastico campionamento di scritte sbagliate, idee confuse e obsolete e gergo obsoleto. Se uno ha una buona istruzione attuale, è doppiamente doloroso leggere questo libro (e la maggior parte della scrittura sul comportamento umano). Doloroso perché è così torturato e confuso, e poi di nuovo quando ti rendi conto di quanto sia semplice con la psicologia moderna e la filosofia. La terminologia e le idee sono orribilmente confuse e datate (ma meno nell'analisi di Wilber che nelle sue fonti). Questo libro e la maggior parte delle sue fonti sono testi di psicologia aspiranti, anche se la maggior parte degli autori non se ne rese conto. Si tratta del comportamento umano e del ragionamento sul perché pensiamo e agiamo come facciamo e come potremmo cambiare in futuro. Ma (come tutte queste discussioni fino a poco tempo fa) nessuna delle esplicazionisono davvero spiegazioni, e quindi non danno alcuna comprensione del comportamento umano. Nessuno discute i meccanismi mentali coinvolti. È come descrivere come funziona un'auto discutendoil volante e il metallo e vernice senza alcuna conoscenza del motore, del carburante o del treno a trazione. Infatti, come la maggior parte delle più vecchie spiegazioni di comportamento, i testi citatiqui e i comments di Wilber sono spesso più interessanti per che tipo di cose che accettano (eomettere!) come spiegazioni, e il tipo di ragionamento they uso, che per il contenuto effettivo. Se si è sulla filosofia e la psicologia cognitiva ed evolutiva, la maggior parte di questo è arcaico. Come quasi tutti (studiosi e pubblico allo stesso modo-e.g. vedi la mia recensione di Freedom Evolves di Dennett e di altri libri), non capisce che le basi della religione e dell'etica, in realtà tutti i comportamenti umani, sono programmati nei nostri geni. Una rivoluzione nella comprensione di noi stessi stava avvenendo mentre scriveva i suoi numerosi libri e lo passava davanti. Coloro che desiderano un quadro aggiornato completo per il comportamento umano dalla moderna vista a due systems possono consultare il mio libro 'La struttura logica dellafilosofia, psicologia, Mind e il linguaggio in Ludwig Wittgenstein e John Searle' 2nd ed (2019). Coloro che sono interessati a più dei miei scritti possono vedere 'TalkingMonkeys--Filosofia, Psicologia, Scienza, Religione e Politica su un Pianeta Condannato--Articoli e Recensioni 2006-2019 3rd ed (2019) e Suicidal Utopian Delusions nel 21st Century 4th ed (2019) . (shrink)

As its title suggests, this anthology is a collection of papers presented at a conference on feelings and emotions held in Amsterdam in 2001. One of the symposium’s main goals was to draw some of the most prominent researchers in emotion research together and provide a multi-disciplinary ‘snap shot’ of the state of the art at the turn of the century. In that respect it is truly a cognitive science success story. There are articles from a wide range of fields, (...) encompassing, e.g., philosophy, neuroscience, anthropology, sociology, and psychology. Another goal was to emulate a series of conferences of the same name that had taken place in the early parts of the 20th Century. Included in the book are the title pages of these other conferences, which put the symposium in a nice historical context. The conference seems to have met both goals. It does, for instance, offer a vital snap shot of the state of emotions research at the turn of the century, though this does not mean that it is best suited for the annals of history. This volume will provide anyone interested in the cognitive science of the emotions a clear indication of where the field has come from, and insight into where it will be going. (shrink)

Este livro e a maioria de suas fontes gostaria de ser textos da psicologia, embora a maioria dos autores não o realizem. Trata-se de comportamento humano e raciocínio-sobre por que pensamos e agir da maneira que fazemos e como podemos mudar no futuro. Mas (como toda essa discussão até recentemente) nenhum dos explicações são realmente explicações (melhor chamado de descrições na maioria dos contextos, como insistiu Wittgenstein), e assim eles não dão nenhuma visão sobre o comportamento humano. Ninguém discute os (...) mecanismos mentais envolvidos. É como descrever como um carro funciona by discutindo o volante e metal e pintura sem qualquer conhecimento do motor, combustível ou trem de acionamento. Na verdade, como a maioria dos mais velhos ' explicações ' de comportamento, os textos citado aqui e os comentários por Wilber são muitas vezes mais interessante para que tipos de coisas que eles aceitam (e omitir!) como explicações, e o tipo de raciocínio eles usam, do que para o conteúdo real. Se um está acima na filosofia e na psicologia cognitiva e evolucionária, a maioria disto é arcaico. Como quase todos (eruditos e públicos iguais-e.g., veja a minha resenha de Dennett ́S ‘Freedom Evolves’ e outros livros), ele não entende que os fundamentos da religião e da ética-na verdade, todo o comportamento humano, são programados em nossos genes. Uma revolução na compreensão de nós mesmos estava ocorrendo enquanto ele estava escrevendo seus muitos livros e passou por ele. Aqueles que desejam um quadro até à data detalhado para o comportamento humano da opinião moderna dos dois sistemas consultar meu livros Falando Macacos 3ª Ed (2019), A Estrutura Lógica da Filosofia, Psicologia, Mente e Linguagem em Ludwig Wittgenstein e John Searle 2a Ed (2019), Suicídio Pela Democracia,4aEd(2019), Entendendo as Conexões entre Ciência, Filosofia, Psicologia, Religião, Política e Economia Artigos e Análises 2006-2019 (2019), Ilusões Utópicas Suicidas no 21St século 5a Ed (2019), A Estrutura Lógica do Comportamento Humano (2019),. (shrink)

Vous obtenez un échantillon formidable de mauvaise écriture, des idées confuses et dépassées et un jargon obsolète. Si l’on a une bonne éducation actuelle, il est doublement douloureux de lire ce livre (et la plupart écrit sur le comportement humain). Douloureux parce qu’il est si torturé et déroutant, et puis encore quand vous vous rendez compte à quel point il est simple avec la psychologie moderne et la philosophie. La terminologie et les idées sont horriblement confuses et datées (mais moins (...) dans l’analyse de Wilber que dans ses sources). Ce livre et la plupart de ses sources sont des textes de psychologie en soi, bien que la plupart des auteurs ne s’en soient pas rendu compte. Il s’agit du comportement humain et du raisonnement sur les raisons pour lesquelles nous pensons et agissons comme nous le faisons et comment nous pourrions changer à l’avenir. Mais (comme toute une telle discussion jusqu’à récemment) aucune des explications n'est vraiment des explications, et donc ils ne donnent aucun aperçu du comportement humain. Personne ne discute des mécanismes mentaux impliqués. C’est comme décrire comment une voiture fonctionne by discuter du volant et du métal et de la peinture sans aucune connaissance du moteur, du carburant ou du train d’entraînement. En fait, comme la plupart des anciens «exemples» de comportement, les textes cite ici et les commentaires par Wilber sont souvent plus intéressants pour ce genre de choses qu’ils acceptent (et omettre!) comme explications, et le genre de raisonnement ils utilisation, que pour le contenu réel. Si l’on est sur la philosophie et la psychologie cognitive et évolutive, la plupart de ce qui est archaïque. Comme presque tout le monde (érudits et public—e. g. voir mon examen de La Liberté Evoluie de Dennett et d’autres livres), il ne comprend pas que les bases de la religion et l’éthique - en fait tout comportement humain, sont programmés dans nos gènes. Une révolution dans la compréhension de nous-mêmes a eu lieu alors qu’il écrivait ses nombreux livres et il l’a passé par. Ceux qui souhaitent un cadre complet à jour pour le comportement humain de la vue moderne de deux systemes peuvent consulter mon livre 'The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle' 2nd ed (2019). Ceux qui s’intéressent à plus de mes écrits peuvent voir «Talking Monkeys --Philosophie, Psychologie, Science, Religion et Politique sur une planète condamnée --Articles et revues 2006-2019 3e ed (2019) et Suicidal Utopian Delusions in the 21st Century 4th ed (2019) et autres. (shrink)

What role should religion play in public discourse? Not long ago Richard Rorty argued, in more than one place, that religion is a "conversation stopper" which polite people refer to only in private conversations. Religious believers complain, however, that this practice renders it impossible for them to participate in public discourse. They ask whether a democratic community is worthy of the name if it effectively forbids (by custom or legislation) a significant segment of its citizens from acknowledging and drawing (...) upon their own traditions to help justify their moral and political claims? This paper draws upon the work of Jeffrey Stout, Robert Brandom, and importantly a Confucian understanding of ritual to argue that Rorty goes too far in arguing that religious assumptions have no place in public discourse. (shrink)

Una breve rassegna della vita e dell'autobiografia spirituale dell'unico mistico americano Adi Da (Franklin Jones). L'adesivo sulla copertina di alcune edizioni dice 'L'autobiografia spirituale più profonda di tutti i tempi' e questo potrebbe essere vero. Ho 70 anni e ho letto molti libri di insegnanti spirituali e sulla spiritualità, e questo è uno dei più grandi. Certamente, è by lontano il resoconto più completo e piùchiaro del processo di illuminazione che abbia mai visto. Anche se non hai alcun interesse nel (...) più affascinante di tutti i processi psicologici umani, è un documento incredibile che rivela molto sulla religione, lo yoga e la psicologia umana e sonda le profondità e i limiti delle possibilità umane. Lo descrivo in dettaglio e paragono il suo insegnamento a quello del mistico indiano contemporaneo Osho. Coloro che desiderano un quadro aggiornato completo per il comportamento umano dalla moderna vista a due systems possono consultare il mio libro 'La struttura logica dellafilosofia, psicologia, Mind e il linguaggio in Ludwig Wittgenstein e John Searle' 2nd ed (2019). Coloro che sono interessati a più dei miei scritti possono vedere 'TalkingMonkeys--Filosofia, Psicologia, Scienza, Religione e Politica su un Pianeta Condannato--Articoli e Recensioni 2006-2019 3rd ed (2019) e Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so.

As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell’s Paradox being derivable in it.This system is, except for minor differ...